COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	αβxsubjob↔αβxlattach↔ start up a subjob and take output in attach buffer
C00027 ENDMK
C⊗;
αβxsubjob⊗↔αβxlattach⊗↔⊗; start up a subjob and take output in attach buffer
αβ0αβxjf 8,0,65,-1⊗↔⊗; preserves tabs in justifying paragraphs

αXDEFINE name⊗↔
	αZTEMP1⊗↔
αβ⊗↓
αXDEFINE TEMP1⊗↔
	αXEXECUTE EINIT.CMD[1,3](17)⊗↔
	αZname⊗↔
αβ⊗↓

αXDEFINE del1⊗↔⊗; delete arbitrary file mentioned on current line
αidel αs]α αk⊗↔α⊗↔α=αβ⊗↓

αXDEFINE DEL⊗↔⊗; delete E format file mentioned on current line
αxpo⊗↔αxreadw⊗↔αxfiledelete⊗↔αhαβdαβ⊗↓

αXDEFINE dover⊗↔⊗; send file named on current line to dover
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE boise⊗↔⊗; send file named on current line to boise
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE maple⊗↔⊗; send file named on current line to esp; prints it in fix40
αcαeαimaple αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE lathro⊗↔⊗; send file named on current line to lathrop; prints it in fix40
αcαeαilathrop αs]α αk⊗↔αi/font=fix40⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ≡⊗↔⊗; enter pointed file in readwrite mode
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE %⊗↔⊗; surround word with italics for TEX
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE ∩⊗↔⊗; take line back to file of files
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE MEM⊗↔⊗; standard start of memos
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE COM⊗↔⊗; For commenting out file name for pub memos
αi.<<α⊗=>>⊗↔αβ⊗↓

αXDEFINE AIL⊗↔⊗; standard start of AI letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂AIL αβ⊗↓

αXDEFINE CSL⊗↔⊗; standard start of CS letter
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔
∂CSL αβ⊗↓

αxdefine msg⊗↔⊗; switching to the message file
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine jnk⊗↔⊗; switching to the junk message file
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αxdefine fil⊗↔⊗; switching to the file of files last page
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αxdefine fil1⊗↔⊗; switching to the file of files first page
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αxdefine cal⊗↔⊗; switching to the calendar file
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine ∪⊗↔⊗; switching to the message file
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αxdefine $⊗↔⊗; putting in an equation number. execute macro after typing symbol
αi α⊗Bαb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE TASK⊗↔⊗; puts attach buffer in TASKS file
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αxdefine pho⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αxdefine phon⊗↔⊗; switching to the phon file
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αxdefine adr⊗↔⊗; putting my address in file
⊗↔John McCarthy⊗↔Computer Science Department
⊗↔Stanford University⊗↔Stanford, CA 94305⊗↔αβ⊗↓

αxdefine new⊗↔⊗; starting a file, gets updated each quarter
α⊗↔αs⊗=αi[s89,jmc]α⊗↔αxpo/c⊗↔αhαcαhαeβ%⊗↔αβ⊗↔αβ⊗↓

αxdefine ekl⊗↔⊗; starting up an ekl
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αxdefine lisp⊗↔⊗; starting up a lisp
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE L⊗↔⊗; Run lisp functions.  Needs lines ;bfun ;efun ;end.
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αxdefine phil⊗↔⊗; mailing to "phil-sci%oz"%mc mails the rest of the page
α∞αxmail "phil-sci%oz"%mc/su⊗↔αβ⊗↓

αxdefine dov⊗↔⊗; send the file mentioned in the current line to the dover
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αxdefine 1987⊗↔⊗; switching to the 1987 file
αβλ1987.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1988⊗↔⊗; switching to the 1988 file
αβλ1988.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1989⊗↔⊗; switching to the 1989 file
αβλ1989.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1990⊗↔⊗; switching to the 1990 file
αβλ1990.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1986⊗↔⊗; switching to the 1986 file
αβλ1986.xgp[up,doc]/3p⊗↔αβ⊗↓

αxdefine 1985⊗↔⊗; switching to the 1985 file
αβλ1985.xgp[up,doc]/3p⊗↔αβ⊗↓

αXDEFINE REcon⊗↔⊗; reconnecting a maclisp job after re-entering e
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE MAIL/su⊗↔⊗; mails rest of page. requires address line and subject line
αβ∞αβxmail/su⊗↔αβ⊗↓

αXDEFINE VOTE⊗↔⊗; cleans up line of numbers with one comma for totalling votes
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE RELISP⊗↔⊗; reconnects to maclisp job after re-entry to E
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE MYPHON⊗↔
(work: 415 497-4430) (home: 857-0672)αβ⊗↓

αXDEFINE C⊗↔⊗; circumscription
circumscriptionαβ⊗↓

αXDEFINE E⊗↔⊗; writing a reference to an equation
({eq })αb}αiαβ⊗↓

αXDEFINE BIO⊗↔⊗; switching to my biography file
αβεbiojmc.tex[1/∞p/∞l⊗↔αβ⊗↓

αXDEFINE SYM⊗↔⊗; making a symbol preceded by space italic for TEX
}αb α αi{\it α⊗=αβ⊗↓

αXDEFINE SYMB⊗↔⊗; making a symbol at beginning of line italic for TEX
α⊗→αi{\it α⊗=}αβ⊗↓

αXDEFINE EXT⊗↔⊗; starting a page at the end of a file
αβxstopone⊗↔αzextq1⊗↔αβ∞αβlαβxmark⊗↔αβxstopall⊗↔αβ⊗↓

αXDEFINE extq1⊗↔⊗; subsidiary to ext
αβ∞αβpαβ⊗↓

⊗⊂ Brings in REPLY macro from EINIT[1,3] (if necessary) and executes it.⊃

αxDEFINE R⊗↔
	αzR1⊗↔αxSET R1=NULL⊗↔αβ#αzREPLY⊗↔
αβ⊗↓

αxDEFINE R1⊗↔
	αxEXECUTE EINIT.CMD[1,3](14)⊗↔
αβ⊗↓

αxDEFINE NULL⊗↔
	⊗≠
αβ⊗↓

αXDEFINE T⊗↔⊗; Puts the attach buffer at the end of other file (for comments).
αhαβ∞αβlαeβ⊗↔αhαxcan⊗↔αβ⊗↓

αXDEFINE MOVE⊗↔⊗; moves paragraph to end of previous page - used with calendar
αβ!αβaαβ-αβpαβ∞αβlαβeαβoαβ⊗↓

αXDEFINE N⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓

αXDEFINE Note⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓

αXDEFINE NOTES⊗↔⊗; goes to NOTES file
αβεnotes[1/∞p/∞l⊗↔αβ⊗↔⊗↔αβ⊗↓

αXDEFINE PURGE⊗↔⊗; purges failed message from msg and outgo
αzmsg⊗↔αβ∂αβdαβεoutgo.msg/∞p⊗↔αβ∂αβdαβhαβ⊗↓

αXDEFINE MSG1⊗↔⊗; to end of first page of message file
αβεmsg.msg[1,jmc]/1p/∞l⊗↔αβ⊗↓

αXDEFINE DIR⊗↔⊗; with dir2 to get directory info about file in files[let,jmc]
αcαeβdβiβ αs⊗=αk⊗↔α=αβ⊗↓

αXDEFINE DIR2⊗↔⊗; with dir to get directory information
αβe⊗↑αβ6αβd⊗↔αβ6αβd⊗↑αk ⊗=⊗=⊗↔αβ⊗↓

αXDEFINE L⊗↔⊗; switching to file of letters
αβεletter[let,jmc]/e⊗↔αβ⊗↔αβ⊗↓

αXDEFINE MEMTEX⊗↔⊗; starting a memo in TEX
αβl⊗↔αβ⊗↔\input memo.tex[let,jmc]⊗↔\title{}⊗↔α⊗↔
αβ∞αβlαxmark⊗↔
\smallskip
\centerline{Copyright \copyright\ αzyear⊗↔
\ by John McCarthy}⊗↔
\smallskip
\noindent{This draft of αzfile⊗↔
\ TEXed on \jmcdate\ at \theTime}⊗↔
%File originated on αxset x←date.⊗↔αzx⊗↔⊗↔
\vfill\eject\end⊗↔α2αpα3αlαβ⊗↓

αXDEFINE YEAR⊗↔⊗; puts the current year in the text; used by new memtex
αxset x←date.⊗↔αzx⊗↔α9α⊗↑19α5αdα α αβ⊗↓

αXDEFINE file⊗↔⊗; puts the current file name in the text; used by new memtex
αxset x←file.⊗↔αzx⊗↔αβ⊗↓

αXDEFINE BAD⊗↔⊗; removing aborted message from msg.msg and outgo.msg
αβεmsg.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβεoutgo.msg[1,jmc]/∞p⊗↔αβ∂αβd⊗↔αβhαβ⊗↓

αXDEFINE EM⊗↔⊗; taking net address to bottom of page
αU⊗↔αCαβ∞αβLαβEαS@αB α β⊗↔α⊗↔⊗↑αβD⊗↔αβ⊗↓

αXDEFINE SQUISH⊗↔⊗; squeezing a paragraph for quotation
αβ!αβxjf 13,5,60,-1⊗↔αβ0αβxjf 8,0,70,-1⊗↔αβ⊗↓

αXDEFINE BITNET⊗↔⊗; changing a bitnet address to mail via Forsythe
αfbitnetα⊗↔αb@%αfbitnetα⊗↔α α α α α α αi@forsythe.stanford.eduα αβ⊗↓

αXDEFINE BOOK⊗↔⊗; Putting a book reference in my TEX form
αβ⊗↔\noindentα⊗↔⊗↔αi{\bf α⊗= αdαi(α⊗=)}:⊗↔αi{\it α⊗=},⊗↔α⊗=.⊗↔αβ⊗↓

αXDEFINE TRANSP⊗↔
β⊗↔αs α β⊗↔αs α β⊗↔	⊗; break the line around the two words
αβ-αβaαβuαβe		⊗; grab the second and move it up ahead of the first
αβuαβ3αβxjo⊗↔		⊗; go up a line and re-patch the world
α⊗=αd			⊗; pick up last part of last line, leaving cursor in useful place
αβ⊗↓

αXDEFINE lambda⊗↔⊗; Replaces λ by \lambda in rest of file and returns to orig page
αmαxf ≡λα\\lambda αβ∞⊗↔αmαβ⊗↓

αXDEFINE infty⊗↔⊗; Replaces ∞ by \infty in rest of file and returns to orig page
αmαxf ≡∞α\\infty αβ∞⊗↔αmαβ⊗↓

αXDEFINE LEQ⊗↔⊗; Replaces ≤ by \leq in rest of file and returns to original page
αmαxf ≡≤α\\leq αβ∞⊗↔αmαβ⊗↓

αXDEFINE leftrightarrow⊗↔⊗; Replaces ↔ by \leftrightarrow in rest of file and returns to orig page
αmαxf ≡↔α\\leftrightarrow αβ∞⊗↔αmαβ⊗↓

αXDEFINE downarrow⊗↔⊗; Replaces ↓ by \downarrow in rest of file and returns to orig page
αmαxf ≡↓α\\downarrow αβ∞⊗↔αmαβ⊗↓

αXDEFINE uparrow⊗↔⊗; Replaces ↑ by \uparrow in rest of file and returns to orig page
αmαxf ≡↑α\\uparrow αβ∞⊗↔αmαβ⊗↓

αXDEFINE rightarrow⊗↔⊗; Replaces → by \rightarrow in rest of file and returns to orig page
αmαxf ≡→α\\rightarrow αβ∞⊗↔αmαβ⊗↓

αXDEFINE leftarrow⊗↔⊗; Replaces ← by \leftarrow in rest of file and returns to orig page
αmαxf ≡←α\\leftarrow αβ∞⊗↔αmαβ⊗↓

αXDEFINE otimes⊗↔⊗; Replaces ⊗ by \otimes in rest of file and returns to orig page
αmαxf ≡⊗α\\otimes αβ∞⊗↔αmαβ⊗↓

αXDEFINE partial⊗↔⊗; Replaces ∂ by \partial in rest of file and returns to orig page
αmαxf ≡∂α\\partial αβ∞⊗↔αmαβ⊗↓

αXDEFINE EQUIV⊗↔⊗; Replaces ≡ by \equiv in rest of file and returns to original page
αmαxf ≡≡α\\equiv αβ∞⊗↔αmαβ⊗↓

αXDEFINE geq⊗↔⊗; Replaces ≥ by \geq in rest of file and returns to orig page
αmαxf ≡≥α\\geq αβ∞⊗↔αmαβ⊗↓

αXDEFINE epsilon⊗↔⊗; Replaces ε by \epsilon in rest of file and returns to orig page
αmαxf ≡εα\\epsilon αβ∞⊗↔αmαβ⊗↓

αXDEFINE beta⊗↔⊗; Replaces β by \beta in rest of file and returns to orig page
αmαxf ≡βα\\beta αβ∞⊗↔αmαβ⊗↓

αXDEFINE alpha⊗↔⊗; Replaces α by \alpha in rest of file and returns to orig page
αmαxf ≡αα\\alpha αβ∞⊗↔αmαβ⊗↓

αXDEFINE pi⊗↔⊗; Replaces π by \pi in rest of file and returns to orig page
αmαxf ≡πα\\pi αβ∞⊗↔αmαβ⊗↓

αXDEFINE not=⊗↔⊗; Replaces ≠ by \not= in rest of file and returns to orig page
αmαxf ≡≠α\\not= αβ∞⊗↔αmαβ⊗↓

αXDEFINE exists⊗↔⊗; Replaces ∃ by \exists in rest of file and returns to orig page
αmαxf ≡∃α\\exists αβ∞⊗↔αmαβ⊗↓

αXDEFINE forall⊗↔⊗; Replaces ∀ by \forall in rest of file and returns to orig page
αmαxf ≡∀α\\forall αβ∞⊗↔αmαβ⊗↓

αXDEFINE wedge⊗↔⊗; Replaces ∧ by \wedge in rest of file and returns to orig page
αmαxf ≡∧α\\wedge αβ∞⊗↔αmαβ⊗↓

αXDEFINE vee⊗↔⊗; Replaces ∨ by \vee in rest of file and returns to orig page
αmαxf ≡∨α\\vee αβ∞⊗↔αmαβ⊗↓

αXDEFINE neg⊗↔⊗; Replaces ¬ by \neg in rest of file and returns to orig page
αmαxf ≡¬α\\neg αβ∞⊗↔αmαβ⊗↓

αXDEFINE supset⊗↔⊗; Replaces ⊃ by \supset in rest of file and returns to orig page
αmαxf ≡⊃α\\supset αβ∞⊗↔αmαβ⊗↓

αXDEFINE subset⊗↔⊗; Replaces ⊂ by \subset in rest of file and returns to orig page
αmαxf ≡⊂α\\subset αβ∞⊗↔αmαβ⊗↓

αXDEFINE REF⊗↔⊗; puts position in previous file at end of line
α⊗↔αhαxset a←filepl.⊗↔αhα⊗=, αza⊗↔α⊗↔αβ⊗↓

αXDEFINE QU⊗↔⊗; replaces " ... " by `` ... ''
αf"α\``α⊗↔αf"α\''α⊗↔αβ⊗↓